搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书(共5501本)

	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings 0 索取号：作者：Al-Begain、 Khalid.、Fiems、 Dieter.、Horv谩th、 G谩bor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 0 索取号：作者：Lee、 David.、Lopes、 Ant贸nia.、Poetzsch-Heffter、 Arnd.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation 0 索取号：作者：Lerner、 J眉rgen.、Wagner、 Dorothea.、Zweig、 Katharina A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings 0 索取号：作者：Hoeve、 Willem-Jan.、Hooker、 John N.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization 0 索取号：作者：Stuckenschmidt、 Heiner.、Parent、 Christine.、Spaccapietra、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computational Intelligence Techniques for Bioprocess Modelling, Supervision and Control [electronic resource] 0 索取号：作者：Carmo Nicoletti、 Maria.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings 0 索取号：作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers 0 索取号：作者：Cuyt、 Annie.、Kr盲mer、 Walter.、Luther、 Wolfram.、Markstein、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Lifetime-Oriented Structural Design Concepts [electronic resource] 0 索取号：作者：Stangenberg、 Friedhelm.、Breitenb眉cher、 Rolf.、Bruhns、 Otto T.、Hartmann、 Dietrich.、H枚ffer、 R眉diger.、Kuhl、 Detlef.、Meschke、 G眉nther.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Mastering Rhinoplasty [electronic resource] : A Comprehensive Atlas of Surgical Techniques with Integrated Video Clips 0 索取号：作者：Daniel、 Rollin K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		OSS Design Patterns [electronic resource] : A Pattern Approach to the Design of Telecommunications Management Systems 0 索取号：作者：Ashford、 Colin.、Gauthier、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Non-smooth Problems in Vehicle Systems Dynamics [electronic resource] : Proceedings of the Euromech 500 Colloquium 0 索取号：作者：Grove Thomsen、 Per.、True、 Hans.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Submarine Power Cables [electronic resource] : Design, Installation, Repair, Environmental Aspects 0 索取号：作者：Worzyk、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Visual Complexity and Intelligent Computer Graphics Techniques Enhancements [electronic resource] 0 索取号：作者：Plemenos、 Dimitri.、Miaoulis、 Georgios.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Architecture-Based Design of Multi-Agent Systems [electronic resource] 0 索取号：作者：Weyns、 Danny.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings 0 索取号：作者：Al-Begain、 Khalid.、Fiems、 Dieter.、Horv谩th、 G谩bor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 0 索取号：作者：Lee、 David.、Lopes、 Ant贸nia.、Poetzsch-Heffter、 Arnd.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation 0 索取号：作者：Lerner、 J眉rgen.、Wagner、 Dorothea.、Zweig、 Katharina A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings 0 索取号：作者：Hoeve、 Willem-Jan.、Hooker、 John N.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization 0 索取号：作者：Stuckenschmidt、 Heiner.、Parent、 Christine.、Spaccapietra、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computational Intelligence Techniques for Bioprocess Modelling, Supervision and Control [electronic resource] 0 索取号：作者：Carmo Nicoletti、 Maria.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings 0 索取号：作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers 0 索取号：作者：Cuyt、 Annie.、Kr盲mer、 Walter.、Luther、 Wolfram.、Markstein、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Lifetime-Oriented Structural Design Concepts [electronic resource] 0 索取号：作者：Stangenberg、 Friedhelm.、Breitenb眉cher、 Rolf.、Bruhns、 Otto T.、Hartmann、 Dietrich.、H枚ffer、 R眉diger.、Kuhl、 Detlef.、Meschke、 G眉nther.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Mastering Rhinoplasty [electronic resource] : A Comprehensive Atlas of Surgical Techniques with Integrated Video Clips 0 索取号：作者：Daniel、 Rollin K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		OSS Design Patterns [electronic resource] : A Pattern Approach to the Design of Telecommunications Management Systems 0 索取号：作者：Ashford、 Colin.、Gauthier、 Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Non-smooth Problems in Vehicle Systems Dynamics [electronic resource] : Proceedings of the Euromech 500 Colloquium 0 索取号：作者：Grove Thomsen、 Per.、True、 Hans.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Submarine Power Cables [electronic resource] : Design, Installation, Repair, Environmental Aspects 0 索取号：作者：Worzyk、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Visual Complexity and Intelligent Computer Graphics Techniques Enhancements [electronic resource] 0 索取号：作者：Plemenos、 Dimitri.、Miaoulis、 Georgios.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Architecture-Based Design of Multi-Agent Systems [electronic resource] 0 索取号：作者：Weyns、 Danny.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.